Nuprl Definition : gt 11,40
gt(i; j) == j < i 
latex

Definitionsgt(i; j)
FDL editor aliasesgt

origin